del Cerro, Luis Fariñas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A simple deduction method for modal logic

Luis Fariñas del Cerro

Journal:

Information Processing Letters

Year:

1982

Language:

english

File:

PDF, 356 KB

english, 1982

2

From ordering-based nonmonotonic reasoning to conditional logics

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang

Journal:

Artificial Intelligence

Year:

1994

Language:

english

File:

PDF, 1001 KB

english, 1994

3

MOLOG: A system that extends PROLOG with modal logic

Luis Fariñas Del Cerro

Journal:

New Generation Computing

Year:

1986

Language:

english

File:

PDF, 614 KB

english, 1986

4

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

CABALAR, PEDRO, FANDINNO, JORGE, FARIÑAS DEL CERRO, LUIS, PEARCE, DAVID

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 267 KB

english, 2018

5

Finite non-deterministic semantics for some modal systems

Coniglio, Marcelo E., del Cerro, Luis Fariñas, Peron, Newton M.

Journal:

Journal of Applied Non-Classical Logics

Year:

2015

Language:

english

File:

PDF, 673 KB

english, 2015

6

A Modal Herbrand's Property

Marta Cialdea, Luis Fariñas del Cerro

Journal:

Mathematical Logic Quarterly

Year:

1986

Language:

english

File:

PDF, 436 KB

english, 1986

7

Temporal logics and their applications, edited by Galton Antony, Academic Press, London, San Diego, etc., 1987, xii + 244 pp.—Therein:Galton Antony. Temporal logic and computer science: an overview. Pp. 1– 52.Barringer Howard. The use of temporal logic in the compositional specification of concurrent systems. Pp. 53– 90.Hale Roger. Temporal logic programming. Pp. 91– 119.Sadri Fariba. Three recent approaches to temporal reasoning. Pp. 121– 168.Galton Antony. The logic of occurrence. Pp. 169– 196.Gabbay Dov. Modal and temporal logic programming. Pp. 197– 237.

Cerro, Luis Fariñas Del

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 421 KB

english, 1990

8

Translation of first order formulas into ground formulas via a completion theory

Demolombe, Robert, Fariñas del Cerro, Luis, Obeid, Naji

Journal:

Journal of Applied Logic

Year:

2016

Language:

english

File:

PDF, 1.07 MB

english, 2016

9

Modal resolution in clausal form

Patrice Enjalbert, Luis Farinas del Cerro

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 2.00 MB

english, 1989

10

Modal logic with non-deterministic semantics: Part I—Propositional case

Coniglio, Marcelo E, Luis, Fariñas Del Cerro, Newton, Marques Peron

Journal:

Logic Journal of IGPL

Year:

2019

Language:

english

File:

PDF, 610 KB

english, 2019

11

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Front Matter

Fariñas del Cerro, Luis, Inoue, Katsumi

Year:

2014

Language:

english

File:

PDF, 185 KB

english, 2014

12

DAL—A logic for data analysis

Luis Fariñas Del Cerro, Ewa Orłowska

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 726 KB

english, 1985

13

Capturing equilibrium models in modal logic

Fariñas del Cerro, Luis, Herzig, Andreas, Su, Ezgi Iraz

Journal:

Journal of Applied Logic

Year:

2014

Language:

english

File:

PDF, 338 KB

english, 2014

14

Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

Balbiani, Philippe, del Cerro, Luis Fariñas

Journal:

Journal of Applied Non-Classical Logics

Year:

1998

Language:

english

File:

PDF, 654 KB

english, 1998

15

Foreword

Balbiani, Philippe, Fariñas Del Cerro, Luis, Herzig, Andreas

Journal:

Journal of Applied Non-Classical Logics

Year:

2010

Language:

english

File:

PDF, 29 KB

english, 2010

16

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Symbolic Representation and Inference of Regulatory Network Structures

Fariñas del Cerro, Luis, Inoue, Katsumi

Year:

2014

Language:

english

File:

PDF, 1.02 MB

english, 2014

17

Interference logic = conditional logic + frame axiom

Luis Fariñas del Cerro, Andreas Herzig

Journal:

International Journal of Intelligent Systems

Year:

1994

Language:

english

File:

PDF, 582 KB

english, 1994

18

Preface

Edward Hermann Haeusler, Luis Farinas del Cerro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 91 KB

english, 2011

19

Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’

Coniglio, Marcelo E., Fariñas del Cerro, Luis, Peron, Newton M.

Journal:

Journal of Applied Non-Classical Logics

Year:

2016

Language:

english

File:

PDF, 1.11 MB

english, 2016

20

A note on the complexity of the satisfiability of modal Horn clauses

Luis Fariñas Del Cerro, Martti Penttonen

Journal:

The Journal of Logic Programming

Year:

1987

Language:

english

File:

PDF, 697 KB

english, 1987

21

Modal logic with non-deterministic semantics: Part I—Propositional case

Coniglio, Marcelo E, Luis, Fariñas Del Cerro, Newton, Marques Peron

Journal:

Logic Journal of IGPL

Year:

2019

File:

PDF, 610 KB

2019

22

Foreword

Fariñas Del Cerro, Luis

Journal:

Journal of Applied Non-Classical Logics

Year:

2003

Language:

english

File:

PDF, 65 KB

english, 2003

23

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers

Fariñas del Cerro, Luis, Inoue, Katsumi

Year:

2014

Language:

english

File:

PDF, 701 KB

english, 2014

24

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 1489 ||

Dix, Jürgen, del Cerro, Luís Fariñas, Furbach, Ulrich

Year:

1998

Language:

english

File:

PDF, 3.86 MB

english, 1998

25

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Reasoning on the Response of Logical Signaling Networks with ASP

Fariñas del Cerro, Luis, Inoue, Katsumi

Year:

2014

Language:

english

File:

PDF, 468 KB

english, 2014

26

How to Produce Information About a Given Entity Using Automated Deduction Methods

Robert Demolombe, Luis Fariñas del Cerro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 312 KB

english, 2009

27

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 1489 || A Mechanised Proof System for Relation Algebra Using Display Logic

Dix, Jürgen, del Cerro, Luís Fariñas, Furbach, Ulrich

Year:

1998

Language:

english

File:

PDF, 226 KB

english, 1998

28

Global and Local Graph Modifiers

Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 306 KB

english, 2009

29

Wallen Lincoln A.. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv + 239 pp.

Cerro, Luis Fariñas del

Journal:

Journal of Symbolic Logic

Year:

1993

Language:

english

File:

PDF, 297 KB

english, 1993

30

Note to the reader

Del Cerro, Luis Fariñas

Journal:

Journal of Applied Non-Classical Logics

Year:

1995

Language:

english

File:

PDF, 38 KB

english, 1995

31

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Formal Methods Applied to Gene Network Modeling

Fariñas del Cerro, Luis, Inoue, Katsumi

Year:

2014

Language:

english

File:

PDF, 470 KB

english, 2014

32

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Analyzing SBGN-AF Networks Using Normal Logic Programs

Fariñas del Cerro, Luis, Inoue, Katsumi

Year:

2014

Language:

english

File:

PDF, 434 KB

english, 2014

33

Foreword

Balbiani, Philippe, Fariñas Del Cerro, Luis, Herzig, Andreas

Journal:

Journal of Applied Non-Classical Logics

Year:

2010

Language:

english

File:

PDF, 32 KB

english, 2010

34

Editorial

del Cerro, Luis Fariñas

Journal:

Journal of Applied Non-Classical Logics

Year:

1991

Language:

english

File:

PDF, 217 KB

english, 1991

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски